#ifndef _REQUEST_H_
#define _REQUEST_H_

/*
	STRUCTURES
*/

// Request structure
typedef struct __req {
  int call;             // system call number
  // NOTE: The result of using more arguments than are actually passed
  // by the system call is undefined; in practice, it will load these
  // values with garbage and probably crash.
  int a0;               // argument 0
  int a1;               // argument 1
  int a2;               // argument 2
  int a3;               // argument 3
  int a4;               // argument 4
} req;

#endif // _REQUEST_H_
